A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics
نویسندگان
چکیده
منابع مشابه
Interpolation Property and Principle of Variable Separation in Substructural Logics
We will discuss Craig’s interpolation property (CIP), deductive interpolation property (DIP), pseudo-relevance property (PRP), principle of variable separation (PVS) and Halldén completeness (HC) of substructural logics, and give algebraic characterizations of these properties. These characterizations have been studied for modal and superintuitionistic logics, e.g. in Maksimova (1977), [2] etc....
متن کاملMaksimova ON VARIABLE SEPARATION IN MODAL LOGICS
It was proved in [4] that interpolation properties of propositional normal modal logics (n.m.l.) are closely connected with amalgamation properties of associated varieties of modal algebras. In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any n.m.l. is equivalent to the so-called Super-Embedding Property of...
متن کاملStrong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics
Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is ‘stable’ with respect to this pre-order. BIST logics are extensions of a logic, BiSKt, which arose in the semantic context of hypergraphs, since a special case of the pre-order can represent the inci...
متن کاملA Remark on the Separability and Approximation Property in Intuitionistic Fuzzy n-normed Linear Spaces
In this paper we introduce the notion of weak and strong intuitionistic fuzzy (Schauder) basis on an intuitionistic fuzzy n-normed linear space [5] and prove that an intuitionistic fuzzy n-normed linear space having a weak intuitionistic fuzzy basis is separable. Also we discuss approximation property on the same space. Mathematics Subject Classification: 03B20, 03B52, 46A99, 46H25
متن کاملBDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics
We give Binary Decision Diagram (BDD) based methods for deciding validity and satisfiability of propositional Intuitionistic Logic Int and Bi-intuitionistic Tense Logic BiKt. We handle intuitionistic implication and bi-intuitionistic exclusion by treating them as modalities, but the move to an intuitionistic basis requires careful analysis for handling the reflexivity, transitivity and antisymm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2017
ISSN: 1448-5052
DOI: 10.26686/ajl.v14i1.4027